def eval[A, B]: ((A => B), A) => B